../linux/timer_gettime.asm